f{-}try\{\$x,\$try\}(${\it es}$;$L$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(es{-}loc(${\it es}$; $e$) $\in$ $L$ $\in$ Id) \& es{-}change{-}to(${\it es}$;Id;"\$x";$e$;"\$try")